678.86/682.48	unsat
