25.79/29.36	unsat
