675.68/679.68	unsat
