25.59/31.84	unsat
