649.55/650.60	unsat
