0.89/1.39	unsat
