5.68/7.41	unsat
