0.88/1.39	unsat
