668.67/668.75	unsat
