25.02/25.76	unsat
