25.21/29.04	unsat
