5.89/6.09	unsat
