0.55/0.65	unsat
