34.22/37.42	unsat
