4.99/6.13	unsat
