3.80/6.26	unsat
