23.92/27.05	unsat
