24.95/27.76	unsat
