24.72/27.84	unsat
