5.89/6.16	unsat
