669.49/671.28	unsat
