5.02/6.68	unsat
