2.55/3.26	unsat
