27.79/27.83	unsat
