5.05/6.99	unsat
