676.53/678.44	unsat
