5.08/6.41	unsat
