5.89/6.34	unsat
