25.75/29.47	unsat
