25.72/27.24	unsat
