27.71/28.94	unsat
