0.48/0.65	unsat
