5.68/6.09	unsat
