34.10/37.40	unsat
