5.99/6.61	unsat
