0.19/0.65	unsat
