38.08/70.73	unsat
