27.78/27.80	unsat
