24.92/27.00	unsat
