25.84/32.77	unsat
