670.11/671.51	unsat
