714.67/717.39	unsat
