27.79/27.87	unsat
