67.04/71.44	unsat
