3.99/5.26	unsat
