68.90/74.53	unsat
