668.75/672.75	unsat
