668.86/669.26	unsat
