34.14/37.56	unsat
