5.69/6.41	unsat
