1.89/6.44	unsat
