31.75/33.71	unsat
