0.40/0.65	unsat
