5.02/5.07	unsat
