5.69/6.09	unsat
