27.71/27.83	unsat
