25.22/27.04	unsat
