24.36/26.76	unsat
