5.68/6.41	unsat
