2.77/3.23	unsat
