3.09/3.26	unsat
