31.23/34.68	unsat
