25.30/27.76	unsat
