673.43/677.48	unsat
