672.19/673.88	unsat
