4.99/5.07	unsat
