34.19/36.76	unsat
